Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
221	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
222	Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function Substitution Μ operator Mathematics Mathematical logic Logic
223	Astr´ee: Building a Static Analyzer for Real-Life Programs Antoine Min´e ´ CNRS & Ecole normale sup´ Add to Reading List Source URL: research.ihost.com Language: English - Date: 2010-06-09 16:47:59 Analysis Mind Science Philosophy of mind Abstract interpretation Astrée Model checking
224	Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2007-06-24 16:58:38 Data types Computer programming Object-oriented programming Functional programming Polymorphism Type system Variable Type class C Software engineering Computing Type theory
225	Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-25 12:01:05 Compiler construction NuSMV Software testing Model checking Static program analysis Abstract interpretation Parsing Software verification Coverity Model checkers Software Computing
226	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
227	www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-19 10:20:55 Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming
228	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
229	R ET C ON: Transactional Repair without Replay Colin Blundell Arun Raghavan Milo M. K. Martin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-04-10 11:24:17 Data Transaction processing Abstract interpretation Symbolic execution MIX Hash table ATS CPU cache Extensible Storage Engine Computing Computer memory Computer programming
230	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory

UPDATE